free functor

自由函子